$\forall$$g$:OGrp. Inverse($\mid$$g$$\mid$;$\ast$;e;$\sim$)